|
:''This article is about the term "corresponding conditional" as it is used in logic'' In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the argument's (or derivation's) premises and whose consequent is the argument's conclusion. An argument is valid if and only if its corresponding conditional is a logical truth. It follows that an argument is valid if and only if the negation of its corresponding conditional is a contradiction. The construction of a corresponding conditional therefore provides a useful technique for determining the validity of argument ==Example== Consider the argument A:
This argument is of the form:
The corresponding conditional C is:
and the argument A is valid just in case the corresponding conditional C is a necessary truth. If C is a necessary truth then C entails Falsity (The False). Thus, any argument is valid if and only if the denial of its corresponding conditional leads to a contradiction. If we construct a truth table for C we will find that it comes out T (true) on every row (and of course if we construct a truth table for the negation of C it will come out F (false) in every row. These results confirm the validity of the argument A Some arguments need first-order predicate logic to reveal their forms and they cannot be tested properly by truth tables forms. Consider the argument A1:
To test this argument for validity, construct the corresponding conditional C1 (you will need first-order predicate logic), negate it, and see if you can derive a contradiction from it. If you succeed then the argument is valid. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「corresponding conditional」の詳細全文を読む スポンサード リンク
|